; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = sub i64 %"SymVar_0", 902749805
  %".5" = zext i64 %"SymVar_0" to i128
  %".6" = zext i64 0 to i128
  %".7" = shl i128 %".6", 64
  %".8" = or i128 %".5", %".7"
  %".9" = zext i64 7 to i128
  %".10" = udiv i128 %".8", %".9"
  %".11" = trunc i128 %".10" to i64
  %".12" = zext i8 3 to i64
  %".13" = and i64 %".12", 63
  %".14" = lshr i64 %".11", %".13"
  %".15" = and i64 15, %".14"
  %".16" = or i64 1, %".15"
  %".17" = sub i64 64, %".16"
  %".18" = trunc i64 %".17" to i8
  %".19" = zext i8 %".18" to i64
  %".20" = and i64 %".19", 63
  %".21" = lshr i64 127996265, %".20"
  %".22" = zext i8 3 to i64
  %".23" = and i64 %".22", 63
  %".24" = lshr i64 %".11", %".23"
  %".25" = and i64 15, %".24"
  %".26" = or i64 1, %".25"
  %".27" = trunc i64 %".26" to i32
  %".28" = zext i32 %".27" to i64
  %".29" = trunc i64 %".28" to i8
  %".30" = zext i8 %".29" to i64
  %".31" = and i64 %".30", 63
  %".32" = shl i64 127996265, %".31"
  %".33" = or i64 %".21", %".32"
  %".34" = zext i8 4 to i64
  %".35" = and i64 %".34", 63
  %".36" = lshr i64 %".33", %".35"
  %".37" = and i64 15, %".36"
  %".38" = or i64 1, %".37"
  %".39" = sub i64 64, %".38"
  %".40" = trunc i64 %".39" to i8
  %".41" = zext i8 %".40" to i64
  %".42" = and i64 %".41", 63
  %".43" = lshr i64 %"SymVar_0", %".42"
  %".44" = zext i8 3 to i64
  %".45" = and i64 %".44", 63
  %".46" = lshr i64 %".11", %".45"
  %".47" = and i64 15, %".46"
  %".48" = or i64 1, %".47"
  %".49" = sub i64 64, %".48"
  %".50" = trunc i64 %".49" to i8
  %".51" = zext i8 %".50" to i64
  %".52" = and i64 %".51", 63
  %".53" = lshr i64 127996265, %".52"
  %".54" = zext i8 3 to i64
  %".55" = and i64 %".54", 63
  %".56" = lshr i64 %".11", %".55"
  %".57" = and i64 15, %".56"
  %".58" = or i64 1, %".57"
  %".59" = trunc i64 %".58" to i32
  %".60" = zext i32 %".59" to i64
  %".61" = trunc i64 %".60" to i8
  %".62" = zext i8 %".61" to i64
  %".63" = and i64 %".62", 63
  %".64" = shl i64 127996265, %".63"
  %".65" = or i64 %".53", %".64"
  %".66" = zext i8 4 to i64
  %".67" = and i64 %".66", 63
  %".68" = lshr i64 %".65", %".67"
  %".69" = and i64 15, %".68"
  %".70" = or i64 1, %".69"
  %".71" = trunc i64 %".70" to i8
  %".72" = zext i8 %".71" to i64
  %".73" = and i64 %".72", 63
  %".74" = shl i64 %"SymVar_0", %".73"
  %".75" = or i64 %".43", %".74"
  %".76" = and i64 31, %".75"
  %".77" = zext i8 4 to i64
  %".78" = and i64 %".77", 63
  %".79" = shl i64 %".76", %".78"
  %".80" = or i64 %".79", %".11"
  %".81" = and i64 15, %".80"
  %".82" = zext i8 2 to i64
  %".83" = and i64 %".82", 63
  %".84" = shl i64 %".81", %".83"
  %".85" = or i64 %".84", %".80"
  %".86" = and i64 15, %".85"
  %".87" = or i64 1, %".86"
  %".88" = sub i64 64, %".87"
  %".89" = trunc i64 %".88" to i8
  %".90" = zext i8 %".89" to i64
  %".91" = and i64 %".90", 63
  %".92" = lshr i64 %".4", %".91"
  %".93" = and i64 15, %".85"
  %".94" = or i64 1, %".93"
  %".95" = trunc i64 %".94" to i32
  %".96" = zext i32 %".95" to i64
  %".97" = trunc i64 %".96" to i8
  %".98" = zext i8 %".97" to i64
  %".99" = and i64 %".98", 63
  %".100" = shl i64 %".4", %".99"
  %".101" = or i64 %".92", %".100"
  %".102" = sext i64 343000538 to i128
  %".103" = sub i64 %"SymVar_0", 696182945
  %".104" = sext i64 %".103" to i128
  %".105" = mul i128 %".102", %".104"
  %".106" = trunc i128 %".105" to i64
  %".107" = lshr i64 %".106", 16
  %".108" = trunc i64 %".107" to i8
  %".109" = zext i8 %".108" to i16
  %".110" = lshr i64 %".106", 24
  %".111" = trunc i64 %".110" to i8
  %".112" = zext i8 %".111" to i16
  %".113" = shl i16 %".112", 8
  %".114" = or i16 %".109", %".113"
  %".115" = zext i16 %".114" to i32
  %".116" = zext i32 %".115" to i64
  %".117" = trunc i64 %".116" to i16
  %".118" = zext i16 %".117" to i32
  %".119" = zext i32 %".118" to i64
  %".120" = trunc i64 %".119" to i16
  %".121" = zext i16 %".120" to i32
  %".122" = zext i32 %".121" to i64
  %".123" = trunc i64 %".122" to i16
  %".124" = zext i16 %".123" to i32
  %".125" = zext i32 %".124" to i64
  %".126" = trunc i64 %".125" to i16
  %".127" = trunc i16 %".126" to i8
  %".128" = zext i8 %".127" to i64
  %".129" = trunc i64 %".125" to i16
  %".130" = lshr i16 %".129", 8
  %".131" = trunc i16 %".130" to i8
  %".132" = zext i8 %".131" to i64
  %".133" = shl i64 %".132", 8
  %".134" = or i64 %".128", %".133"
  %".135" = lshr i64 %".106", 32
  %".136" = trunc i64 %".135" to i8
  %".137" = zext i8 %".136" to i16
  %".138" = lshr i64 %".106", 40
  %".139" = trunc i64 %".138" to i8
  %".140" = zext i8 %".139" to i16
  %".141" = shl i16 %".140", 8
  %".142" = or i16 %".137", %".141"
  %".143" = zext i16 %".142" to i32
  %".144" = zext i32 %".143" to i64
  %".145" = trunc i64 %".144" to i16
  %".146" = zext i16 %".145" to i32
  %".147" = zext i32 %".146" to i64
  %".148" = trunc i64 %".147" to i16
  %".149" = zext i16 %".148" to i32
  %".150" = zext i32 %".149" to i64
  %".151" = trunc i64 %".150" to i16
  %".152" = zext i16 %".151" to i32
  %".153" = zext i32 %".152" to i64
  %".154" = trunc i64 %".153" to i16
  %".155" = trunc i16 %".154" to i8
  %".156" = zext i8 %".155" to i64
  %".157" = shl i64 %".156", 16
  %".158" = or i64 %".134", %".157"
  %".159" = trunc i64 %".153" to i16
  %".160" = lshr i16 %".159", 8
  %".161" = trunc i16 %".160" to i8
  %".162" = zext i8 %".161" to i64
  %".163" = shl i64 %".162", 24
  %".164" = or i64 %".158", %".163"
  %".165" = lshr i64 %".106", 48
  %".166" = trunc i64 %".165" to i8
  %".167" = zext i8 %".166" to i16
  %".168" = lshr i64 %".106", 56
  %".169" = trunc i64 %".168" to i8
  %".170" = zext i8 %".169" to i16
  %".171" = shl i16 %".170", 8
  %".172" = or i16 %".167", %".171"
  %".173" = zext i16 %".172" to i32
  %".174" = zext i32 %".173" to i64
  %".175" = trunc i64 %".174" to i16
  %".176" = zext i16 %".175" to i32
  %".177" = zext i32 %".176" to i64
  %".178" = trunc i64 %".177" to i16
  %".179" = zext i16 %".178" to i32
  %".180" = zext i32 %".179" to i64
  %".181" = trunc i64 %".180" to i16
  %".182" = zext i16 %".181" to i32
  %".183" = zext i32 %".182" to i64
  %".184" = trunc i64 %".183" to i16
  %".185" = zext i16 %".184" to i32
  %".186" = zext i32 %".185" to i64
  %".187" = trunc i64 %".186" to i16
  %".188" = zext i16 %".187" to i32
  %".189" = zext i32 %".188" to i64
  %".190" = trunc i64 %".189" to i16
  %".191" = zext i16 %".190" to i32
  %".192" = zext i32 %".191" to i64
  %".193" = trunc i64 %".192" to i16
  %".194" = zext i16 %".193" to i32
  %".195" = zext i32 %".194" to i64
  %".196" = trunc i64 %".195" to i16
  %".197" = trunc i16 %".196" to i8
  %".198" = zext i8 %".197" to i64
  %".199" = shl i64 %".198", 32
  %".200" = or i64 %".164", %".199"
  %".201" = trunc i64 %".195" to i16
  %".202" = lshr i16 %".201", 8
  %".203" = trunc i16 %".202" to i8
  %".204" = zext i8 %".203" to i64
  %".205" = shl i64 %".204", 40
  %".206" = or i64 %".200", %".205"
  %".207" = trunc i64 %".106" to i8
  %".208" = zext i8 %".207" to i16
  %".209" = lshr i64 %".106", 8
  %".210" = trunc i64 %".209" to i8
  %".211" = zext i8 %".210" to i16
  %".212" = shl i16 %".211", 8
  %".213" = or i16 %".208", %".212"
  %".214" = zext i16 %".213" to i32
  %".215" = zext i32 %".214" to i64
  %".216" = trunc i64 %".215" to i16
  %".217" = zext i16 %".216" to i32
  %".218" = zext i32 %".217" to i64
  %".219" = trunc i64 %".218" to i16
  %".220" = trunc i16 %".219" to i8
  %".221" = zext i8 %".220" to i64
  %".222" = shl i64 %".221", 48
  %".223" = or i64 %".206", %".222"
  %".224" = trunc i64 %".218" to i16
  %".225" = lshr i16 %".224", 8
  %".226" = trunc i16 %".225" to i8
  %".227" = zext i8 %".226" to i64
  %".228" = shl i64 %".227", 56
  %".229" = or i64 %".223", %".228"
  %".230" = zext i8 2 to i64
  %".231" = and i64 %".230", 63
  %".232" = lshr i64 %".229", %".231"
  %".233" = and i64 15, %".232"
  %".234" = or i64 1, %".233"
  %".235" = sub i64 64, %".234"
  %".236" = trunc i64 %".235" to i8
  %".237" = zext i8 %".236" to i64
  %".238" = and i64 %".237", 63
  %".239" = lshr i64 %".75", %".238"
  %".240" = zext i8 %".127" to i64
  %".241" = zext i8 %".131" to i64
  %".242" = shl i64 %".241", 8
  %".243" = or i64 %".240", %".242"
  %".244" = zext i8 %".155" to i64
  %".245" = shl i64 %".244", 16
  %".246" = or i64 %".243", %".245"
  %".247" = zext i8 %".161" to i64
  %".248" = shl i64 %".247", 24
  %".249" = or i64 %".246", %".248"
  %".250" = zext i8 %".197" to i64
  %".251" = shl i64 %".250", 32
  %".252" = or i64 %".249", %".251"
  %".253" = zext i8 %".203" to i64
  %".254" = shl i64 %".253", 40
  %".255" = or i64 %".252", %".254"
  %".256" = zext i8 %".220" to i64
  %".257" = shl i64 %".256", 48
  %".258" = or i64 %".255", %".257"
  %".259" = zext i8 %".226" to i64
  %".260" = shl i64 %".259", 56
  %".261" = or i64 %".258", %".260"
  %".262" = zext i8 2 to i64
  %".263" = and i64 %".262", 63
  %".264" = lshr i64 %".261", %".263"
  %".265" = and i64 15, %".264"
  %".266" = or i64 1, %".265"
  %".267" = trunc i64 %".266" to i8
  %".268" = zext i8 %".267" to i64
  %".269" = and i64 %".268", 63
  %".270" = shl i64 %".75", %".269"
  %".271" = or i64 %".239", %".270"
  %".272" = zext i8 4 to i64
  %".273" = and i64 %".272", 63
  %".274" = lshr i64 %".271", %".273"
  %".275" = and i64 15, %".274"
  %".276" = or i64 1, %".275"
  %".277" = sub i64 64, %".276"
  %".278" = trunc i64 %".277" to i8
  %".279" = zext i8 %".278" to i64
  %".280" = and i64 %".279", 63
  %".281" = shl i64 %".101", %".280"
  %".282" = and i64 15, %".85"
  %".283" = or i64 1, %".282"
  %".284" = sub i64 64, %".283"
  %".285" = trunc i64 %".284" to i32
  %".286" = zext i32 %".285" to i64
  %".287" = trunc i64 %".286" to i8
  %".288" = zext i8 %".287" to i64
  %".289" = and i64 %".288", 63
  %".290" = lshr i64 %".4", %".289"
  %".291" = and i64 15, %".85"
  %".292" = or i64 1, %".291"
  %".293" = trunc i64 %".292" to i32
  %".294" = zext i32 %".293" to i64
  %".295" = trunc i64 %".294" to i8
  %".296" = zext i8 %".295" to i64
  %".297" = and i64 %".296", 63
  %".298" = shl i64 %".4", %".297"
  %".299" = or i64 %".290", %".298"
  %".300" = zext i8 %".127" to i64
  %".301" = zext i8 %".131" to i64
  %".302" = shl i64 %".301", 8
  %".303" = or i64 %".300", %".302"
  %".304" = zext i8 %".155" to i64
  %".305" = shl i64 %".304", 16
  %".306" = or i64 %".303", %".305"
  %".307" = zext i8 %".161" to i64
  %".308" = shl i64 %".307", 24
  %".309" = or i64 %".306", %".308"
  %".310" = zext i8 %".197" to i64
  %".311" = shl i64 %".310", 32
  %".312" = or i64 %".309", %".311"
  %".313" = zext i8 %".203" to i64
  %".314" = shl i64 %".313", 40
  %".315" = or i64 %".312", %".314"
  %".316" = zext i8 %".220" to i64
  %".317" = shl i64 %".316", 48
  %".318" = or i64 %".315", %".317"
  %".319" = zext i8 %".226" to i64
  %".320" = shl i64 %".319", 56
  %".321" = or i64 %".318", %".320"
  %".322" = zext i8 2 to i64
  %".323" = and i64 %".322", 63
  %".324" = lshr i64 %".321", %".323"
  %".325" = and i64 15, %".324"
  %".326" = or i64 1, %".325"
  %".327" = sub i64 64, %".326"
  %".328" = trunc i64 %".327" to i8
  %".329" = zext i8 %".328" to i64
  %".330" = and i64 %".329", 63
  %".331" = lshr i64 %".75", %".330"
  %".332" = zext i8 %".127" to i64
  %".333" = zext i8 %".131" to i64
  %".334" = shl i64 %".333", 8
  %".335" = or i64 %".332", %".334"
  %".336" = zext i8 %".155" to i64
  %".337" = shl i64 %".336", 16
  %".338" = or i64 %".335", %".337"
  %".339" = zext i8 %".161" to i64
  %".340" = shl i64 %".339", 24
  %".341" = or i64 %".338", %".340"
  %".342" = zext i8 %".197" to i64
  %".343" = shl i64 %".342", 32
  %".344" = or i64 %".341", %".343"
  %".345" = zext i8 %".203" to i64
  %".346" = shl i64 %".345", 40
  %".347" = or i64 %".344", %".346"
  %".348" = zext i8 %".220" to i64
  %".349" = shl i64 %".348", 48
  %".350" = or i64 %".347", %".349"
  %".351" = zext i8 %".226" to i64
  %".352" = shl i64 %".351", 56
  %".353" = or i64 %".350", %".352"
  %".354" = zext i8 2 to i64
  %".355" = and i64 %".354", 63
  %".356" = lshr i64 %".353", %".355"
  %".357" = and i64 15, %".356"
  %".358" = or i64 1, %".357"
  %".359" = trunc i64 %".358" to i8
  %".360" = zext i8 %".359" to i64
  %".361" = and i64 %".360", 63
  %".362" = shl i64 %".75", %".361"
  %".363" = or i64 %".331", %".362"
  %".364" = zext i8 4 to i64
  %".365" = and i64 %".364", 63
  %".366" = lshr i64 %".363", %".365"
  %".367" = and i64 15, %".366"
  %".368" = or i64 1, %".367"
  %".369" = trunc i64 %".368" to i8
  %".370" = zext i8 %".369" to i64
  %".371" = and i64 %".370", 63
  %".372" = lshr i64 %".299", %".371"
  %".373" = or i64 %".281", %".372"
  ret i64 %".373"
}
